How Far do Activated Random Walkers Spread from a Single Source?

Unlike many particle systems, activated random walk has nontrivial behavior even in one spatial dimension. We prove inner and outer bounds on the spread of n walkers from a single source $${\mathbb {Z}}$$ . The bound involves comparison with stationary distribution finite interval, while stabilization an infinite Bernoulli configuration